On the definability of radicals in supersimple groups
نویسنده
چکیده
If G is a group with supersimple theory having finite SU -rank, the subgroup of G generated by all of its normal nilpotent subgroups is definable and nilpotent. This answers a question asked by Elwes, Jaligot, Macpherson and Ryten in [5]. If H is any group with supersimple theory, the subgroup of H generated by all of its normal soluble subgroups is definable and soluble.
منابع مشابه
A survey of asymptotic classes and measurable structures
In this article we survey a body of results about classes of finite first order structures in which definable sets have a rather uniform asymptotic behaviour. Non-principal ultraproducts of such classes may have unstable theory, but will be supersimple of finite rank. In addition, they inherit a definable measure on definable sets. The starting point for this work was the following result of [1...
متن کاملStable definability and generic relations
An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p as φ ranges through all stable formulae. A necessary condition for stably definability is given and used to produce an example of a supersimple theory with stable forking having types that are not stably definable. This answers neg...
متن کاملOn Supersimple Groups
An infinite group with supersimple theory has a finite series of definable groups whose factors are infinite and either virtually-FC or virtuallysimple modulo a finite FC-centre. We deduce that a group which is typedefinable in a supersimple theory has a finite series of relatively definable groups whose factors are either abelian or simple groups. In this decomposition, the non-abelian simple ...
متن کاملSupersimple fields and division rings
It is proved that any supersimple field has trivial Brauer group, and more generally that any supersimple division ring is commutative. As prerequisites we prove several results about generic types in groups and fields whose theory is simple.
متن کاملSupersimple Ω-categorical Groups and Theories
An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU -rank. Every definable subgroup is commensurable with an acl(∅)definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU -rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU -rank.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 78 شماره
صفحات -
تاریخ انتشار 2013